SORTILIN: many headed hydra.

Restraining tobacco--the hydra headed monster.

Hydras: Complexity on general graphs and a subclass of trees

Hydra formulas were introduced in (Sloan, Stasi, and Turán 2012). A hydra formula is a Horn formula consisting of definite Horn clauses of size 3 specified by a set of bodies of size 2, and containing clauses formed by these bodies and all possible heads. A hydra formula can be specified by the undirected graph formed by the bodies occurring in the formula. The minimal formula size for hydras i...

A new role under sortilin's belt in cancer

The neurotensin receptor-3 also known as sortilin was the first member of the small family of vacuolar protein sorting 10 protein domain (Vps10p) discovered two decades ago in the human brain. The expression of sortilin is not confined to the nervous system but sortilin is ubiquitously expressed in many tissues. Sortilin has multiple roles in the cell as a receptor or a co-receptor, in protein ...

Gluten sensitivity: a many headed hydra.

However, it follows a wide ranging consultation exercise, during which over 2000 responses were considered and were instrumental in deciding its scope and contents. The list of factors that should be taken into account in making decisions to withdraw or withhold treatment and the recommended extra safeguards in relation to withdrawing or withholding artificial hydration or nutrition from patien...

Hydras: Directed Hypergraphs and Horn Formulas

We introduce a new graph parameter, the hydra number, arising from the minimization problem for Horn formulas in propositional logic. The hydra number of a graph G = (V, E) is the minimal number of hyperarcs of the form u, v → w required in a directed hypergraph H = (V, F ), such that for every pair (u, v), the set of vertices reachable in H from {u, v} is the entire vertex set V if (u, v) ∈ E,...